Higher topos theory

A simple presentation of the effective topos

We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers), which is the main issue that this paper addresses. In this our work can be compared to Frey’s monadic tripos-to-topos construction. However, no topos theory or ...

Functorial Semantics for Higher-order Logic Dissertation Abstract

This dissertation investigates what may be termed the model theory of higher-order logic using the methods of category theory. Of course, there is no such eld of logic as \higher-order model theory," and so our rst concern in chapter I will be to specify the basic objects under investigation, viz. higher-order logical theories and their models. This is a fairly straightforward generalization|in...

An Introduction to Topos Theory

The purpose of this text is to equip the reader with an intuitive but precise understanding of elementary structures of category and topos theory. In order to achieve this goal, we provide a guided tour through category theory, leading to the definition of an elementary (Lawvere–Tierney) topos. Then we turn to the investigation of consequences of this definition. In particular, we analyse in de...

Higher Topos Theory

Higher topos theory

Higher topos theory